CCaaS: Online Conformance Checking as a Service
نویسندگان
چکیده
Conformance checking, a method of process mining, is commonly used to assess how well a set of historic log traces fits a given process model, or vice versa. Here we explore online conformance checking, i.e., to check conformance on logs while they are written. This can be useful for near-realtime detection of errors and deviations from the desired path. While the online aspect leads to some challenges, we also study efficient detection of timing anomalies and violations of numerical invariants. The approach is implemented in CCaaS, a RESTful service that detects unfitting events and other errors in split seconds.
منابع مشابه
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heralds an era where richer service descriptions, going beyond WSDL-like interfaces, will be available. However, what can these richer service descriptions serve for? This paper investigates a possible usage of behavioral service d...
متن کاملWeb Service Choreography Conformance Verification through the PIX-Model
As the adoption of the Service Oriented Architecture paradigm has dramatically increased over the past few years, proper coordination of loosely coupled services becomes an important issue when building state-of-the-art applications. This coordination is typically organized through orchestration (requiring a central coordinating entity) or through choreographies. While the latter approach allow...
متن کاملOnline Conformance Checking for Petri Nets and Event Streams
Within process mining, we can identify conformance checking as the task of computing the extent to which executions of a process model are in line with the reference behavior. Most approaches currently available in the literature (for imperative models, such as Petri nets) perform just a-posteriori analyses. This means that the amount of nonconformant behavior is quantified after the completion...
متن کاملProcess Mining and Monitoring Processes and Services: Workshop Report
In a service-oriented architecture, but also in classical entreprise systems, a variety of events (e.g., messages being sent and received) are being logged. This information can be used for process mining purposes, i.e., based on some event log it is possible to discover processes or to check conformance. The goal of process discovery is to build models without a-priori knowledge, i.e., based o...
متن کاملOffline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approache...
متن کامل